Psychology Dictionary of ArgumentsHome
| |||
|
| |||
| Connectives: connectives are also called logical connectives or logical particles. E.g. and, or, if, then, if and only if. Negation also counts as a connective. See also truth value table, truth table._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Logic Texts on Connectives - Dictionary of Arguments
Read III 268 ff Tonk/Prior/Read: Do not introduce the link first and then assign meaning. - That cannot have the consequence that another pair of statements is equivalent. >Definition, >Definability, >"Tonk", >Belnap-Prior debate. Important argument: analytic validity cannot show that. Re III 269 The meaning, even that of logic links, must be independent of and be prior to the determination of the validity of the inference structures. - BelnapVsPrior: (pro analytical validity): Must not define into existence, first show how it works. Re III 271 Classical negation is illegitimate here. >Negation- Negation-free fragment. - Peirce's law: "If P, then Q, only if P, only if P". Re III 273 ReadVsBelnap: the true disagreement lies beyond constructivism and realism. - Belnap's condition (conservative extension) cannot show that the classical negation is illegitimate. >Negation. - - - Hoyningen-Huene II 56 Connectives/Hoyningen-Huene: You sometimes read that the truth tables would define the conncetives, i.e. clearly specify them. This is correct if one interprets the connectives in a very specific mathematical sense (namely as illustrations of two statements in the set true, false). If, on the other hand, one understands the connectives as extensional statement links, i.e. as operators that form a new statement from two statements, then the truth tables do not define the connectives. II 66 Binding strength of the connectives: increases in the following order: ,>, v, ∧. II 113 It makes sense to attribute equality and difference to the propositional logical form, because the compelling force of propositional logical inference depends on them. For the same reason, it makes sense to assign the connectives to the propositional logical form._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logic, Englewood Cliffs, New Jersey 1973 - German: Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 - German: Paradoxien Stuttgart 2001 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |
||
> Counter arguments against Logic Texts
> Counter arguments in relation to Connectives
